PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces
نویسنده
چکیده
Many l e a r n i n g b y e x a m p l e problems can be v iewed as i n f e r i n g s t r u c t u r e d non r e c u r s i v e p rocedures f rom se ts o f t h e i r t r a c e s knowing the b a s i c f u n c t i o n s and p r e d i c a t e s , used to w r i t e them. The o n l i n e system PAPE does t h i s as f o l l o w s , an example ( d a t a ♦ t r a c e ) is g i v e n . PAPE f i r s t checks whether the a l r e a d y l ea rned procedure g i ves the same t r a c e w i t h the g i v e n i n p u t d a t a . I f n o t , the t r a c e i s t r a n s formed i n t o a procedure body ( i n 0 ( t p ) t i m e , where t i t i s the l e n g t h o f the t r a c e , and , p an i n t e g e r depending upon the procedure and the bas i c f u n c t i o n s and p r e d i c a t e s ) , and then merges t h i s body w i t h the a c t u a l one to get the new procedure body .
منابع مشابه
Patterning System and Strategies to Achieve the Wishes from Quran’s Perspective with an Emphasis on Verse 24 An-Najm
Some verses of the Quran have mentioned the effective factors and strategies to achieve wishes. Using a descriptive method with a documentary analysis type, the paper aims at investigating these factors and strategies. The verse 24 Surah An-Najm entails that human would not fulfill his wishes through mere willingness but fulfillment of wishes demands enjoying the factors some of which could be ...
متن کاملDyVSoR: dynamic malware detection based on extracting patterns from value sets of registers
To control the exponential growth of malware files, security analysts pursue dynamic approaches that automatically identify and analyze malicious software samples. Obfuscation and polymorphism employed by malwares make it difficult for signature-based systems to detect sophisticated malware files. The dynamic analysis or run-time behavior provides a better technique to identify the threat. In t...
متن کامل* Corresponding Author Email Address: [email protected] International Journal of Railway Research The Safety Level of Railway Infrastructure and Its Correlation with the Cost of Preventive and Mitigation Measures A-M. Ioannidou 1 , C. Pyrgidis 2,* 1 Hellenic Institute of Transport (HIT)-CERTH, Greece 2 Aristotle University of Thessaloniki, Greece A B S ...
متن کاملCompetent Authorities to Handle Complaints about Incorrect Tax Assessment and Collection with an Ethical Approach in Iran
Background: Retrial is an additional combination of the words "retrial" and "trial". Trial is a means of justice and trial, like others, is in the introduction of error and error if there is a verdict that is accompanied by error as a result of the trial. Which must be reconsidered. In the relations between taxpayers and the tax system, a dispute is possible, which can be due to factors such as...
متن کاملOptimal Self-healing of Smart Distribution Grids Based on Spanning Trees to Improve System Reliability
In this paper, a self-healing approach for smart distribution network is presented based on Graph theory and cut sets. In the proposed Graph theory based approach, the upstream grid and all the existing microgrids are modeled as a common node after fault occurrence. Thereafter, the maneuvering lines which are in the cut sets are selected as the recovery path for alternatives networks by making ...
متن کامل